Hi,
I don't understand why the Tasklist plugin do not use the jEdit task api. is there
a reason ?
Submitted | kpouer - 2012-01-02 - 14:32:08z | Assigned | nobody |
---|---|---|---|
Priority | 1 | Category | None |
Status | Open | Group | None |
Resolution | None | Visibility | No |
2012-01-02 - 16:21:51z daleanson |
The simple reason is that TaskList was developed several years before the jEdit task api was available. Is there a compelling reason to modify TaskList to use the task api? |
---|---|
2012-01-02 - 16:27:21z kpouer |
No, if it is not new, there is no reason to refactor everything. The benefit of using that api is that everything is monitored in one place, but unless you really want to do it, it is not mandatory at all, only a suggestion. |
2012-01-20 - 17:16:51z kpouer |
Changed priority to lowest |